COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	BEGIN
C00003 ENDMK
C⊗;
BEGIN

  RECORD_CLASS FOO (INTEGER VAL);
  RECORD_CLASS BAR (RECORD_POINTER(FOO) ZORCH);

  RECORD_POINTER(FOO) F1;
  RECORD_POINTER(BAR) B1;

  F1 ← NEW_RECORD(FOO);
  B1 ← NEW_RECORD(BAR);

  BAR:ZORCH[B1] ← NEW_RECORD(FOO);

  FOO:VAL[F1] ← 1;
  FOO:VAL[BAR:ZORCH[B1]] ← 2;

  PRINT("F1:", FOO:VAL[F1],"  B1: ", FOO:VAL[BAR:ZORCH[B1]],'15&'12);

  BAR:ZORCH[B1] ↔ F1;

  PRINT("F1:", FOO:VAL[F1],"  B1: ", FOO:VAL[BAR:ZORCH[B1]],'15&'12);

  F1 ↔ BAR:ZORCH[B1];

  PRINT("F1:", FOO:VAL[F1],"  B1: ", FOO:VAL[BAR:ZORCH[B1]],'15&'12);

END;